From fba898131dedf31b37a7b8a19a5b8231c211a906 Mon Sep 17 00:00:00 2001
From: Tim Deegan <Tim.Deegan@xensource.com>
Date: Fri, 20 Jul 2007 14:10:40 +0100
Subject: [PATCH] Fix IA64 build Signed-off-by: Alex Williamson
 <alex.williamson@hp.com>

---
 xen/common/domctl.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/xen/common/domctl.c b/xen/common/domctl.c
index db7d55d9be..09a1e84d98 100644
--- a/xen/common/domctl.c
+++ b/xen/common/domctl.c
@@ -20,6 +20,7 @@
 #include <xen/rcupdate.h>
 #include <xen/guest_access.h>
 #include <xen/bitmap.h>
+#include <xen/paging.h>
 #include <asm/current.h>
 #include <public/domctl.h>
 #include <acm/acm_hooks.h>
-- 
2.30.2